Lagrange's theorem - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)

Lagrange's theorem

Let G be a finite group and let H be a subgroup of G. Then $ |G| = [G : H] |H| holds. However, $ [G : H] is the index of H in G.

---

This page is auto-translated from /nishio/ラグランジュの定理. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.